In this paper, we provide a necessary infrastructure to define an abstract state exploration in the HOL theorem prover. ......

分析方法是现代英美哲学的基本方法,正确和传递信息是对分析方法的直觉要求。摩尔把分析的对象限定在概念而不是语言表达式上,朗福......

指出了报价的准确与否直接关系到投标的成败,分析了影响投标报价准确性的一些因素,提出了最佳报价须经多方面的综合分析后才可确定......

在高度依赖软件的信息时代，程序的正确性验证问题需要深入研究。文中提出了基于抽象解释和数值熵的数值程序正确性分析方法。抽象解......

计算分析是一个非常重要的力学研究手段，根据计算结果可以得出相应的结论。但很多时候只顾计算结果，而不对其进行校核，计算结果的正确......

从导航电文中及时、准确地计算出电文参数,是导航接收机的核心功能,不同电文参数解算软件由于设计差异,解算电文参数质量也存在差......

汉语中的成语无论是从古代流传下来的，还是近现代形成的，在结构、含义和用法上都具有凝固、独特、不可随意改变的特点。违背成语的运......

编译器中通常采用各种优化方法来提高目标代码的质量,为了实现较好的效果,一些编译优化算法通常十分复杂,很容易给可靠性和安全性......

南昌市似大地水准面精化建模项目是南昌市现代测绘基准体系建设的主要内容,它综合利用了包含空间定位、精密水准测量、精密重力测......

Mix net是实现匿名通信、电子投票选举、电子支付以及电子投标的有力工具.该文建立了(t,N-2)Mix net 模型,利用Shamir门限方案、El......

在南京和上海两地成功举办的"毕业于美国宾夕法尼亚大学的中国第一代建筑师"展引发了对中国建筑教育的"布扎"传统的各种探讨。在重......

《汉语大字典》和《汉语大词典》鸟类条目有的释义错误讹混，有的语焉不详。本文考释了２１种动物名称的确切所指，对有关词条进行补充或订......

数据迷惑是代码迷惑中重要的一类迷惑变换,在软件保护领域中应用广泛,常被用于防止攻击者对程序进行数据流分析、程序切片等逆向工......

随着烟草行业数据仓库的深入应用,数据质量问题成为关系到数据仓库建设成败和数据能否有效应用的重要关键问题,通过建立数据质量评......

在维特根斯坦看来,以外部表现为标准和以主观心理为标准都不能有效地为私人语言提供意义,因为词语的意义必须经检验证明是正确的。......

电力企业把生产的产品——电能销售给各类电力客户，并按照商品等价交换的原则，从客户处收回电费，这一过程要通过电费管理部门来实现。......

在传统哲学语境下,＂活得丰富＂是一种经验型的生活样式,而＂活得正确＂则是以大写原则为根据的生活形态。本文认为,我们无法以生活之外的......

Translation has been typically seen as a process of decoding the overall meaning of the source language,both linguisti?c......